$\forall$${\it es}$:ES, $Q$:(E$\rightarrow$E$\rightarrow\mathbb{P}$), $X$:AbsInterface(Top). retrace(${\it es}$; $Q$; $X$) $\in$ $\mathbb{P}$